sheaf of ideal

理想层